The Kuznetsov-Gerčiu and Rieger-Nishimura logics
نویسندگان
چکیده
منابع مشابه
THE KUZNETSOV-GERČIU AND RIEGER-NISHIMURA LOGICS The Boundaries of the Finite Model Property
We give a systematic method of constructing extensions of the Kuznetsov-Gerčiu logic KG without the finite model property (fmp for short), and show that there are continuum many such. We also introduce a new technique of gluing of cyclic intuitionistic descriptive frames and give a new simple proof of Gerčiu’s result [9, 8] that all extensions of the RiegerNishimura logic RN have the fmp. Moreo...
متن کاملSubalgebras and Homomorphic Images of the Rieger-nishimura Lattice
In this note we characterize all subalgebras and homomorphic images of the free cyclic Heyting algebra, also known as the RiegerNishimura lattice N . Consequently, we prove that every subalgebra of N is projective, that a finite Heyting algebra is a subalgebra of N iff it is projective, and characterize projective homomorphic images of N . The atoms and co-atoms of the lattice of all subalgebra...
متن کاملof the International Congress of Mathematicians Vancouver , 1974 On Superintuitionistic Logics * A . V . Kuznetsov
Since Brouwer has proclaimed in 1908 the untrustworthiness of classical logic by rejecting the law of the excluded middle, intuitionistic logic, managing without this law, began little by little to develop. As a calculus, it has been presented in a wellknown paper of Heyting (1930), preceded by the interesting papers of A. N. Kolmogorov (1925) and V. I. Glivenko (1929). Soon after that, Kolmogo...
متن کاملThe Axenfeld syndrome and the Rieger syndrome.
A family is reported in which both the syndrome of Axenfeld and the eye malformations of the syndrome of Rieger occur, indicating that both may be expressions of the same gene. We also review the associated anomalies already reported, emphasise their high incidence, suggest that these are not accidental associations, and propose some possible explanations for the high incidence.
متن کاملPetersson and Kuznetsov Trace Formulas
This article is an introduction to the Petersson trace formula and Kuznetsov trace formula, both of which are now important, standard techniques in analytic number theory. To illustrate their applications to modular forms, we will explain their role in a proof of subconvexity bounds for Rankin-Selberg L-functions L(s, f ⊗ g) on the critical line σ = 1/2, where here and throughout, we write s = ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2008
ISSN: 1425-3305
DOI: 10.12775/llp.2008.006